翻訳と辞書 Words near each other ・ Tauto Sansbury ・ Tautobriga ・ Tautochrone curve ・ Tautog ・ Tautoga ・ Tautogram ・ Tautological ・ Tautological bundle ・ Tautological consequence ・ Tautological one-form ・ Tautological ring ・ Tautology ・ Tautology (grammar) ・ Tautology (logic) ・ Tautology (rhetoric) ・ Tautology (rule of inference) ・ Tautomer ・ Tautomycin ・ TauTona Mine ・ Tautonym ・ Tautopathy ・ Tautophrase ・ Tautoro ・ Tautosyllabic ・ Tautovo ・ Tautovo, Chuvash Republic ・ Tautovskoye Rural Settlement ・ Tautra ・ Tautra Abbey ・ Tautua Samoa Party Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Tautology (rule of inference) ： ウィキペディア英語版 Tautology (rule of inference) In propositional logic, tautology is one of two commonly used rules of replacement.〔Copi and Cohen〕〔Moore and Parker〕 The rules are used to eliminate redundancy in disjunctions and conjunctions when they occur in logical proofs. They are: The principle of idempotency of disjunction: : $P\; \backslash or\; P\; \backslash Leftrightarrow\; P$ and the principle of idempotency of conjunction: : $P\; \backslash and\; P\; \backslash Leftrightarrow\; P$ Where "$\backslash Leftrightarrow$" is a metalogical symbol representing "can be replaced in a logical proof with." == Relation to tautology == The rule gets its name from the fact that the concept of the rule is the same as the tautologous statements ''If "p and p" is true then "p" is true.'' and ''If "p or p" is true then "p" is true.'' This type of tautology is called idempotency. Although the rule is the expression of a particular tautology, this is a bit misleading, as every rule of inference can be expressed as a tautology and vice versa. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Tautology (rule of inference)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.